Automated Techniques for Surviving (Otherwise) Fatal Software Errors
نویسنده
چکیده
Many errors in software systems do not manifest themselves until the system has been deployed into production use. Fatal errors can have especially severe consequences in such situations as they may completely deny the user any of the service that the program is designed to supply. The standard approach to dealing with errors is to notify the organization that produced the system of the problm, have a developer investigate the problem to discover and correct the error, then issue a patch or new release with the error corrected. A host of issues make this approach suboptimal:
منابع مشابه
Survival Techniques for Computer Programs
Programs developed with standard techniques often fail when they encounter any of a variety of internal errors. We present a set of techniques that prevent programs from failing and instead enable them to continue to execute even after they encounter otherwise fatal internal errors. Our results indicate that even though the techniques may take the program outside of its anticipated execution en...
متن کاملFragmentation measurement using image processing
In this research, first of all, the existing problems in fragmentation measurement are reviewed for the sake of its fast and reliable evaluation. Then, the available methods used for evaluation of blast results are mentioned. The produced errors especially in recognizing the rock fragments in computer-aided methods, and also, the importance of determination of their sizes in the image analysis ...
متن کاملDesign and Implementation of an Automated Dispensing Device for Reducing Methadone Therapy Misuse
Introduction: A variety of (deliberate or inaccurate) errors in drug rehabilitation clinics may occur due to use of addictive drugs. Automated drug distribution systems play a significant role in reducing drug medication errors. Method: Firstly, according to the addiction rehabilitation centers requests, the design and construction of the device was performed. The prototype systems were examin...
متن کاملIntegrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, and verification system. In contrast to many such systems, which use a monolithic reasoning approach, Jahob provides a general integrated reasoning framework, which enables multiple automated reasoning systems to work...
متن کاملPrioritization based on test suites by analysing automated testing strategies to minimize selected test process
Software testing is a process of refining faults and errors in a software system or project. Software testing is done by both manually and systematically. Automated testing of software is mostly followed in today’s industry. To achieve this, the concern project is divided into various test suites and then testing is done. These test suites should be minimized, selected and prioritized to make t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 174 شماره
صفحات -
تاریخ انتشار 2007